Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·5d
🤝Unification Algorithms
WeakC4, or Distilling an Emergent Object
2swap.github.io·8h·
Discuss: Hacker News
🔲Cellular Automata
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·9h
⚔️Lean Theorem
Cohere unveils Command A Reasoning, a model for enterprise research and workflows
the-decoder.com·18h
🎙️Whisper
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·17h·
Discuss: Hacker News
⚡Proof Automation
Zero Context Exhaustion: Building Production-Ready AI Coding Teams with Claude Code Sub-agents
dev.to·8h·
Discuss: DEV
✨Effect Handlers
Optimizing multiprecision LLL in FLINT
fredrikj.net·2d
🧮Algebraic Datatypes
HigherOrderCO/HVM3
github.com·7h
🔗Functional Compilers
Show HN: Tabwise – AI data analyst that outperforms ChatGPT and Claude
tabwise.ai·17h·
Discuss: Hacker News
⚡Proof Automation
Graphzep -TypeScript implementation of temporal knowledge graph memory system
github.com·11h·
Discuss: Hacker News
🕸️Neo4j
Software convergence
underlap.org·1d
🔢Denotational Semantics
It's okay to solve a problem twice
til.andrew-quinn.me·1h·
Discuss: Hacker News
⚡Proof Automation
Lobsters Interview with Matklad
lobste.rs·19h·
Discuss: Lobsters
🦀Rust Macros
Dissecting Tool-Integrated Reasoning: An Empirical Study and Analysis
arxiv.org·1d
🔗Constraint Handling
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·16h
🔗Tailscale
Racket 8.18 Released
blog.racket-lang.org·1d·
Discuss: Hacker News
🧠Lisp Dialects
Scheme Basics
courses.cs.washington.edu·20h·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Scaling Expert Oversight of AI: HackerOne's Human-in-the-Loop Methodology
hackerone.com·1d
⚡Proof Automation
AI Agents: Why the Hype Feels Wrong to an Old Programmer
nimishg.substack.com·43m·
Discuss: Substack
⚡Proof Automation
Show HN: Making Postgres Self-Describing for LLMs with a Semantic Catalog
tigerdata.com·1d·
Discuss: Hacker News
🗄️Database Internals